MAAO, mémoire d'une organisation

Extending DUNE: The dune-xt modules

We present our effort to extend and complement the core modules of the Distributed and Unified Numerics Environment DUNE (http://dune-project.org) by a well tested and structured collection of utilities and concepts. We describe key elements of our four modules dune-xt-common, dune-xt-grid, dune-xt-la and dune-xt-functions, which aim at further enabling the programming of generic algorithms wit...

A la mémoire de Max Wajskop

Max Wajskop, notre ami, notre collegue, directeur de l'lnstitut de Phon6tique de Bruxelles, 6diteur en Chef de Speech Communication et membre fondateur de I 'ESCA (European Speech Communication Association) est d4c6d~ le mardi 6 avril 1993. ll y a un an, accabl6 par la disparition de sa femmc Monique Hiann6, qui rut aussi sa collaboratrice pendant 30 ans, il ~tait lui-mame frappe par la maladie...

Blocs nuls dans la hiérarchie mémoire

e memory hierary undergoes a growing pressure. is pressure has been dueto the increasing frequency of the processors. However, now that the frequency staysaround 3 GHz, the number of execution cores and thus the number of processes runningsimultaneously are increasing.e growing number of requests handled by the memoryhierary leads to bandwidth saturation.is study shows...

Mémoire des Sciences de la Terre

Mémoire d ' Habilitation à Diriger les Recherches

Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...